Statechart Slicing
نویسنده
چکیده
The paper discusses how to reduce statecharts model by slicing. We start with the discussion of control dependencies and data dependencies in statecharts. The andor statechart dependence graph is introduced to represent control and data dependecies for statecharts. We show how to slice statecharts by using this dependence graph. Our slicing approach helps systems analysts and systems designers in understanding systems specification, maintaining software systems, and reusing parts of systems models.
منابع مشابه
Dynamic Slicing Research of UML Statechart Specifications
This paper extends the well-known technique of dynamic slicing to Statechart specifications of reactive systems. Statechart language extends state machines along hierarchy, concurrency and communication – resulting in a compact visual notation that allows engineers to structure and modularize system descriptions. Dynamic slicing is well known in the domain of sequential transformational program...
متن کاملDebugging Statecharts Via Model-Code Traceability
Model-driven software development involves constructing behavioral models from informal English requirements. These models are then used to guide software construction. The compilation of behavioral models into software is the topic of many existing research works. There also exist a number of UML-based modeling tools which support such model compilation. In this paper, we show how Statechart m...
متن کاملAutomatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm
This paper studies automatic test cases generation for Statechart specifications. Applying Tretmans’ approach to generate test cases from labeled transition systems, we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specifications. In order to make the test cases generation process more simple and efficient, we propose observable sem...
متن کاملAutomated Object’s Statechart Generation and Testing from Class Method Contracts
The link between an object’s class specifications and UML statechart is rather informal and poses consistency issues during software evolution. We address this issue by proposing a connection between class diagram and statechart in a lock-step fashion, which leads to a coherent design for better development, testing, and maintenance of the software system. In this paper, we describe an approach...
متن کاملPolyglot: Systematic Analysis for Multiple Statechart Formalisms
Polyglot is a tool for the systematic analysis of systems integrated from components built using multiple Statechart formalisms. In Polyglot, Statechart models are translated into a common Java representation with pluggable semantics for different Statechart variants. Polyglot is tightly integrated with the Java Pathfinder verification toolset, providing analysis and test-case generation capabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010